formal grammar

un. 正式文法
[网络] 形式文法;形式语法;形式化文法